#ifndef __RTC_OP_H__
#define __RTC_OP_H__

#include <stdio.h>

void init_rtc(void);
void set_rtc_time_stamp(uint64_t time_stamp);
uint64_t get_rtc_time_stamp(void);
uint8_t is_rtc_time_available(void);

#endif
